An abstract framework for environment machines
نویسندگان
چکیده
منابع مشابه
an investigation about the appropriate stochastic modeling framework for agricultural insurance pricing
با توجه به اینکه بیمه محصولات کشاورزی در ایران بیشتر جنبه ای حمایتی دارد و خسارات گزارش شده عموما بیش از حق بیمه های دریافت شده است، در این پایان نامه به جهت تعیین قیمت بیمه محصولات کشاورزی (گندم دیم) از فرآیندهای نوفه شلیک به عنوان مدلی مناسب استفاده شده است. بر اساس داده های صندوق بیمه کشاورزی از خسارات اعلام شده در سال زراعی 1388-1389 گندم دیم، در این پایان نامه حق بیمه خالص و ناخالص این محص...
The ASM Workbench: an Open and Extensible Tool Environment for Abstract State Machines
Appropriate tool support is an essential factor for an eeec-tive application of formal methods to real-life speciication and modelling tasks. However, the current state of the art of tool support for Abstract State Machines is not considered very satisfactory by practitioners. After discussing some possible reasons for this, we report about the ASM Workbench, an open and extensible tool environ...
متن کاملAsmEE: an Eclipse plug-in in a metamodel based framework for the Abstract State Machines
The Abstract State Machines are a formal method successfully employed as system engineering method that guides the development of complex systems seamlessly from requirements capture to their implementation. Several tools supporting the ASMs have been developed in the past. To integrate these different tools and technologies we have proposed a metamodel based framework, called ASMETA, for the A...
متن کاملCorrectly Optimizing Abstract Abstract Machines
The technique of abstracting abstract machines (AAM) provides a systematic approach for deriving computable approximations of evaluators that are easily proved sound. This article contributes a complementary step-by-step process for subsequently going from a naive analyzer derived under the AAM approach, to an efficient and correct implementation. The end result of the process is a two to three...
متن کاملAbstract Machines for Communication Security
We use an existing formal software developement method called B in order to build and verify specica-tions of a communication channel, cryptographic functions and security properties. We show on an example how these basic specications may be combined in order to write abstract specications of cryptographic protocols and to verify their security. 1 Introduction Security evaluation criteria recom...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1991
ISSN: 0304-3975
DOI: 10.1016/0304-3975(91)90230-y